$\forall$${\it es}$:ES, $i$:Id, $k$:Knd, $L$:Id List. @$i$: $k$ affects only $L$ $\in$ Prop